axiomatization

axiomatization
аксиоматизация; формулирование аксиом; постулирование

axiomatization entails… — в соответствии с принятыми аксиомами…


English-Russian dictionary of computer science and programming. 2013.

Игры ⚽ Нужен реферат?

Смотреть что такое "axiomatization" в других словарях:

  • axiomatization — (Amer.) n. act of expressing a theory as a set of axioms; process of reducing to a system of axioms (also axiomatisation) …   English contemporary dictionary

  • axiomatization — noun Date: 1931 the act or process of reducing to a system of axioms • axiomatize transitive verb …   New Collegiate Dictionary

  • axiomatization — noun a) The act of making axiomatic. b) The act or process of establishing a concept within a system of axioms. See Also: axiom, axiomatic, axiomatize …   Wiktionary

  • axiomatization — ax·i·om·a·ti·za·tion …   English syllables

  • axiomatization — ˌaksēˌäməd.ə̇ˈzāshən, məˌtīˈz noun ( s) : the act or process of axiomatizing compare formalization …   Useful english dictionary

  • Tarski's axiomatization of the reals — In 1936, Alfred Tarski set out an axiomatization of the real numbers and their arithmetic, consisting of only the 8 axioms shown below and a mere four primitive notions: the set of reals denoted R, a binary total order over R, denoted by infix …   Wikipedia

  • Boolean algebra — This article discusses the subject referred to as Boolean algebra. For the mathematical objects, see Boolean algebra (structure). Boolean algebra, as developed in 1854 by George Boole in his book An Investigation of the Laws of Thought,[1] is a… …   Wikipedia

  • formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction       the abstract study of propositions, statements, or assertively used …   Universalium

  • Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a …   Wikipedia

  • Boolean algebra (introduction) — Boolean algebra, developed in 1854 by George Boole in his book An Investigation of the Laws of Thought , is a variant of ordinary algebra as taught in high school. Boolean algebra differs from ordinary algebra in three ways: in the values that… …   Wikipedia

  • Ontology double articulation — The notion of Ontology Double Articulation refers to a methodological principle in ontology engineering. The idea is that an ontology should be built as separate domain axiomatizations and application axiomatization(s). In other words an… …   Wikipedia


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»